punch (puppet figure) - German English Dictionary